机译:从模型检查NASA机器人控制器中学到的经验教训
机译:利用离散事件模拟进行进度表分析:从NASA GOPD集成时间轴模型中学到的过程和经验教训
机译:应对国际机器人挑战的低成本解决方案:托斯卡纳机器人团队在ERL Emergency Robots 2017上汲取的教训
机译:朝向模型的方法检查ASM:从Flash案例研究中吸取的经验教训
机译:使用模型检查最小化计算密集的襟翼机器人控制器。
机译:艾滋病毒感染三十年了—非进步仍然令人困惑:从控制者和长期非进步者那里汲取的教训
机译:美国宇航局月球勘测轨道器的光纤阵列束组件;美国宇航局电子零件和包装计划的飞行实施评估经验教训
机译:经验教训模型检查工业通信库